1. Elementary induction on abstract structure
Author: Moschovakis, Yiannis N
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursive functions,، Induction )Mathematics(
Classification :
QA
248
.
5
.
M67
2. Elementary induction on abstract structures
پدیدآورنده : Moschovakis, Yiannis N.
موضوع : ، Recursive functions,، Induction )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Elementary induction on abstract structures
Author: Moschovakis, Yiannis N.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Recursive functions,، Induction )Mathematics(
Classification :
QA
248
.
5
.
M67
4. Elementary induction on abstract structures
Author: / Yiannis N. Moschovakis
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Recursive functions,Induction (Mathematics)
Classification :
511
.
2
M896
5. The Foundations of intuitionistic mathematics; especially in relation to recursive functions
Author: Kleene, Stephen Cole, 9091-
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Constructive mathematics,، Recursive functions
Classification :
QA
9
.
K648
6. The foundations of intuitionistic mathematics, especially in relation to recursive functions
Author: Kleene, Stephen Cole
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Intuitionistic mathematics,، Recursive functions
Classification :
QA
9
.
K648
7. The foundations of intuitionistic mathematics, especially in relation to recursive functions
Author: Kleene, Stephen Cole
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Mathematics,، Recursive functions
Classification :
QA
248
.
5
.
K6
8. The foundations of intuitionistic mathematics, especially in relation to recursive functions
Author: Kleene, Stephen Cole
Library: Central Library and Documentation Center (Kerman)
Subject: ، Intuitionistic mathematics,، Recursive functions
Classification :
QA
9
.
K648
9. Theory of formal systems
Author: Smullyan, Raymond M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursive functions,، Mathematics
Classification :
QA
1
.
A626
no
.
47
10. Theory of formal systems /
Author: R.M. Smullyan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
Classification :
QA248
.
5
